历史上郑国渠究竟有什么作用，秦国为何修建郑国渠？