A stochastic model for operating room planning with elective and emergency demand for surgery