Gas explosion model for grey cast iron pipes in Amsterdam