Applied mechanics in grinding—III. A new formula for contact length prediction and a comparison of available models