Quantized Faraday and Kerr rotation and axion electrodynamics of a 3D topological insulator