Brexit: Gibraltar gets UK-Spain deal to keep open border