How did El Salvador’s Bitcoin balance increase despite restricted public-sector buying?