股票期权是衍生工具吗