An investigation into the causes of pot-hole subsidence and its prediction in underground coal mining