下列选项中，属于交易所交易的衍生工具的是（　）。