Bank runs and CBDC