Stablecoins could save South Korean merchants up to $3.8 billion a year, budget office says