Vitalsource Technologies, Inc. Guidance, Navigation, and Control for Spacecraft Rendezvous and Docking: Theory and Methods