HXD3C机车专门设置了( )个车轴速度传感器，向WSP防滑行保护系统提供车轴速度信息。