期权是衍生工具吗