杜诗发明的水排是灌溉工具吗