Prince Philip has undergone a 'successful procedure'