The prediction of cutting force in ball-end milling