Capacitated Lot Sizing and Scheduling with Parallel Machines and Shared Buffers: a Case Study in a Packaging Company