Grinding force modeling and experimental verification of rail grinding