红旗渠是什么？它在中国历史上有怎样的意义？