The moons of Mars may have been formed in an icy planetary collision