Exploration of the upper atmosphere and ionosphere of Mars