13% of Americans traded crypto in the past year, survey