Infrasound Event Detection Using the Progressive Multi-Channel Correlation Algorithm