Technology is transforming coal mining from a brute force industry to a precision operation.