Classification of the finite simple groups