Demand prediction and optimization of workshop manufacturing resources allocation: A new method and a case study