Optimization of operating room allocation using linear programming techniques.