Why does the double ratchet regularly re-initiate a new Diffie-Hellman exchange, when the keys already change with every message?