Britain’s biggest Brexit headache isn’t the Irish border—it’s Gibraltar