Brazil central bank names its digital currency 'DREX,' scheduled for 2024 launch