Robust residual-based a posteriori Arnold–Winther mixed finite element analysis in elasticity ☆