Crypto hedge fund Pantera Capital leads a $5 million strategic seed round of decentralized derivatives protocol Vega