Theory of Josephson Junction Resonators