A Review of Bit–Rock Interaction Mechanics for Rotary Drilling and Its Application in Geotechnical Engineering | Synapse