西野炭坑、西野彦市礦山、西野コーク製造所