machinery used in coal mines in india