A study on the influence of pick geometry on rock cutting based on full-scale cutting test and simulation. (December 2020)