The Finite Element Modeling of High-speed Spindle System Dynamics with Spindle-holder-tool Joints