Celestial Doppler Difference/Pulsar for Formation Flying and Its Integrated Navigation