Arithmeticity, superrigidity and totally geodesic submanifolds