An adaptive finite element method for the inequality-constrained Reynolds equation