Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing