Optimal staffing in semiconductor manufacturing : A queuing theory approach