What is the prime factorization of 72?