Text this: Strong mixed-integer formulations for the floor layout problem