Exact and matheuristic algorithms for robust lot-sizing and scheduling problems with uncertain capacity