High resolution measurements of the main ionospheric trough using EISCAT