Kömür madenciliğinin tarihi