Buffer Allocation Problem in production flow lines: a new Benders-decomposition-based exact solution approach