期权属于衍生工具吗