The Arnold–Winther mixed FEM in linear elasticity. Part I: Implementation and numerical verification☆