An ultrasonic-based method for longwall top-coal cavability assessment