Quantum phase operators and the Josephson plasma resonance