Finite-key analysis for round-robin-differential-phase-shift quantum key distribution.