How Are Vix Options Priced