Elon Musk's Boring machine

Do you know anything about the problems of over-excavation? I’ve read about sinkholes opening up in the properties on the surface, because they removed more material than the tunnel required. How can they tell if that’s happening, is it the ambient pressure at the cutting head?