Cutting stock problems and solution procedures