North Texas agencies plan to pipe water from Oklahoma