Necessary conditions for nonconvex distributed control problems governed by elliptic variational inequalities