New data chart on mine employment and coal production 1978-2015