Various machines used in coal industry, including disc coal-cutter and hydraulic coalburster