Mining and shipping are industries thus far almost wholly unreconstructed by mobile tech. But IoT is going underground and out to sea.