Steady air flow model for large sewer networks: a theoretical framework.