Ensuring the Reliability of Gas Supply Systems by Optimizing the Overhaul Planning