Arc-flow approach for single batch-processing machine scheduling