Finite Element Modeling of Rock Cutting