Symmetric graphs and the classification of the finite simple groups