期权属于衍生金融工具吗