One hundred meters underground inside a pit in northern China, miners extract lumps of coal with the flick of a finger on a smartphone, as the country tries to drag the traditionally dangerous and dirty work into the digital era.