Shimura Varieties, Representation Theory and Automorphic Forms