Finite-Difference Time-Domain Simulation for Interpreting Regional Infrasound Arrivals and Estimating Propagation Path Effects