Modelling Flow-based Market Coupling in the CORE region