Pennsylvania state lawmaker proposes ban on public officials trading crypto