State estimation and model order reduction for non-linear descriptor systems and their application to gas networks