monotone variational inclusion problem