How to use FIDO2 USB keys with SSH