An optimisation model for the dynamic management of cellular reconfigurable manufacturing systems under auxiliary module availability constraints