Post-Quantum Security of Authenticated Key Establishment Protocols