Three ways I know of to authenticate SSH connections with OIDC tokens