Exact Methods for Two-Stage Robust Optimization with Applications in Gas Networks