Recent progress in using randomization for solving linear algebra problems