A giant impact is responsible for Mars' moons