Batch reverse osmosis: experimental results, model validation, and design implications