GARCH Option Pricing Models, the CBOE VIX, and Variance Risk Premium