State-of-the-art exact and heuristic solution procedures for simple assembly line balancing