Miami mayor says residents will get cryptocurrency proceeds