Modeling the wavevector-frequency spectrum of turbulent boundary layer wall pressure