Improving assembly line efficiency : a mathematical programming approach (partitioning algorithm, bender's decomposition)