Can SpaceX really land on Mars? Absolutely, says an engineer who would know