Inversion of double-difference measurements from optical leveling for the Groningen gas field