QKD working principle