A digital twin approach for diagnosing leaks in gas system installations using synthetic data and a simplified physical leakage model