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