股票期权是衍生金融工具吗