Elon Musk piensa en droides mineros para construir un hábitat en Marte