Five types of deal for the Irish border after Brexit