The ionosphere of Mars from solar minimum to solar maximum: Dayside electron densities from MAVEN and Mars Global Surveyor radio occultations