Greenhouse gas profiling by infrared-laser and microwave occultation: Retrieval algorithm and demonstration results from end-to-end simulations