Mike Vernon Elected to HHOF Class of 2023