כורה, חופר; כורה פחם; חבלן { miner }