Character Theory of Finite Groups