A model-based method for the design of intermittent pneumatic compression systems acting on humans