Title: Selecting ingot sizes for joint order processing in sheet manufacturing