An operational earthquake forecasting system (OEFS) to control induced seismicity in the Groningen natural gas field