Brazilian central banker describes how CBDC system can halt bank runs