Primality Testing in Polynomial Time: From Randomized Algorithms to “Primes Is in P”