Research on predicting the risk level of coal mine roof accident based on machine learning