Dynamical modeling of spindle with active magnetic bearing for milling process