Circuit quantum electrodynamics