金融期货是金融衍生工具吗