Musk ainda não escavou os seus túneis na Terra mas quer levar o projeto para Marte