why is gibraltar british