Add deleteMinElement().