What is the total number of units (in millions) of electricity produced
each year based on the current extraction rates of coal from all
mines combined assuming all mines have an endless supply of
coal?