Infrared dielectric function of wurtzite aluminum nitride