what is a pitman on a rock crusher