Analytic torsion for arithmetic locally symmetric manifolds