coal mining sector digitalisation