Modeling and experimental validation of a two-way pneumatic digital valve