衍生工具(Derivatives)是甚麼?金融衍生工具有哪些?