Strong mixed-integer formulations for the floor layout problem. Issue 4 (2nd October 2018)