Gas production in Groningen field to end in October, Dutch government says