MILP reformulations for the design of biotechnological multi-product batch plants using continuous equipment sizes and discrete host selection