An LP-based Tabu Search for Batch Scheduling in a Cutting Process with Finite Buffers