Application of Propagation Modeling to Verify and Discriminate Ground-Truth Infrasound Signals at Regional Distances