Text this: Research on Path Planning Method of Coal Mine Robot to Avoid Obstacle in Gas Distribution Area