Gray algebraic curve model-based roof separation prediction method for the warning of roof fall accidents