Optimal ventilation systems via MILP: Duct sizing, fan placement, control strategies | Synapse