Statistics of switching-time jitter for a tunnel diode threshold-crossing detector.