Array type miniaturized ultrasonic sensors to detect urban sinkholes. (July 2019)