Modeling and Analysis of MIMO Multipath Channels With Aerial Intelligent Reflecting Surface