Claves del acuerdo sobre Gibraltar: derribo de la Verja, doble control fronterizo y uso compartido del aeropuerto