how much are coal mines