Primal-dual active set methods for Allen-Cahn variational inequalities