Zapomniana historia górnictwa węglowego