The EXOSAT High Galactic Latitude Survey