A Comparison of GKE Protocols based on SIDH