The Block Theory of Finite Group Algebras