Efficient decoy-state quantum key distribution with quantified security.