Time-dependent models of the auroral ionosphere above EISCAT