How did the ESA calculate a trajectory so accurate that, over the course of 10 years, the Rosetta spacecraft could rendezvous with comet 67P?