Microscopic Theory of the Current-Voltage Characteristics of Josephson Tunnel Junctions.