Application of Grouting Technology in Mining Engineering