coal mining history in southern illinois