The offensive tackle, who played 7,894 consecutive snaps, makes his retirement official two years after a career-derailing injury