It's official: Russian ruble goes digital