Mathematical modeling of time-harmonic aeroacoustics with a generalized impedance boundary condition