Gravity changes and natural gas extraction in Groningen