Optimization on the Johnson-Cook parameters of Ti-6Al-4V used for high speed cutting simulation