The mid-latitude trough in the electron concentration of the ionospheric F-layer: a review of observations and modelling