A Theoretical Model for Estimating the Peak Cutting Force of Conical Picks