How market-based water allocation can improve water use efficiency in the Aral Sea basin