Optimal Control of the Obstacle Problem with State Constraints