Analysis and optimization of compressed air networks with model-based approaches