Theory of phaselock techniques as applied to aerospace transponders