Vega launches derivatives market for crypto points, starting with EigenLayer