Pressure drop in pipe lines for compressed air: comparison between experimental and theoretical analysis