Arithmeticity, superrigidity, and totally geodesic submanifolds