spacex software