profile grinding machine definition