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