属于衍生金融工具的是（　）。