Mathematical formulation and a new metaheuristic for the constrained double-floor corridor allocation problem. (October 2021)