A mixed integer linear programming formulation of closed loop layout with exact distances