Complex Multiplication and Modular Curves, with a View towards the André-Oort Conjecture