Path planning for coal mine robot to avoid obstacle in gas distribution area. (11th January 2018)