Seismic velocity changes in the Groningen reservoir associated with distant drilling