A new formulation of operation allocation problem in flexible manufacturing systems: mathematical modelling and computational experience