Induced seismicity of the Groningen gas field: History and recent developments | Synapse