Text this: Theory of the discriminator circuit for automatic frequency control.