If NASA had the US military's budget