Un modelo de las lunas marcianas indica su formación tras un gran impacto