Which astronaut flew on more space missions, Piers Sellers or Jean-Jacques Favier?