Monitoring the Comprehensive Nuclear-Test-Ban Treaty: Data Processing and Infrasound