Real-time control of a PRV in water distribution networks for pressure regulation: Theoretical framework and laboratory experiments