GPS系统提供三维定位和定时至少需要( )卫星。