Research on decision making in coal mine safety management using analytical hierarchy process