A mimetic discretization of elliptic obstacle problems.