A comparison of MGS Phase 1 aerobraking radio occultation data and the NASA Ames Mars GCM