A process mining approach to improve emergency rescue processes of fatal gas explosion accidents in Chinese coal mines. (January 2019)