The reliability of a gas distribution network: A case study