Multi-stage mine production timetabling with optimising the sizes of mining operations: an application of parallel-machine flow shop scheduling with lot streaming