Multiproduct batching and scheduling with buffered rework: The case of a car paint shop. (1st August 2014)