Random Matrices and Provable Algorithms for Approximate Diagonalization