Propagation Characterization and Channel Modeling for UAV Communications