Musk revises his Mars ambitions, and they seem a little bit more real