A time-independent energy model to determine the height of destressed zone above the mined panel in longwall coal mining. (March 2015)