On the Finite Element Approximation of an Elliptic Variational Inequality Arising from an Implicit Time Discretization of the Stefan Problem