Application of Simulation Technology in the Teaching of Mining Rock Mechanics under the Background of “Dual Carbon”