Lịch sử khai thác than