Assembly Line Balancing under Uncertainty: Robust Optimization Models and Exact Solution Method