Statistical summaries of output, costs of production, and proceeds and profits of the coal mining industry