The blue paper speaks of SAFEX tokens as OMNI tokens on the BTC blockchain. Is there a way to buy SAFEX tokens with OMNI now?