Subsidence above depleted gas fields