Other operations relating to mining and agglomeration of hard coal