Categorizing seismic risk for the onshore gas fields in the Netherlands