The product of the average production per miner per hour at a mining operation and the average length of a production shift at the operation.