when was coal mining invented