Novel integer linear programming models for the facility layout problem with fixed-size rectangular departments