Safety requirements for buildings under induced earthquakes due to gas extraction