Assembly line balancing problems with multi-manned stations: a new mathematical formulation and Gantt based heuristic method