UK, EU reach post-Brexit deal on Gibraltar