Dynamics of Josephson junctions and circuits