type of tool steel to be used for rock crushers