Effects of acoustic–gravity waves on the total electron content of the Martian ionosphere | Synapse