formation of mars’ moons