Dual-weighted goal-oriented adaptive finite elements for optimal control of elliptic variational inequalities∗. (7th April 2014)