Semiconductor capacity planning: stochastic modelingand computational studies