Gibraltar and the European Economic Community (EEC): A political history of the impact of European integration on the territory, 1957 to 1987