3 biggest coal mines 1750 1900