Rewritten Josephson Hamiltonian section and some proofreading changes.