A probabilistic approach to second order variational inequalities with bilateral constraints