In the Double Ratchet algorithm, what is the specific role of the Diffie-Hellman ratchet, as opposed to the symmetric ratchet?