Measured and computed ionospheric electron content in the equatorial anomaly crest region