What accessories and machinery are used in coal mines