Digital money, Central Bank Digital Currencies and Programmable Money