A class of Benders decomposition methods for variational inequalities