列举5种常用下载工具，并简单描述其功能。