La solicitud de salida a bolsa de SpaceX revela la remuneración de Musk de 7,5 billones de dólares vinculada a Marte