US9498632B2 - Receiver and Digital Demodulation Circuitry for an External Controller Useable in an Implantable Medical Device System