Profiling wind and greenhouse gases by infrared-laser occultation: algorithm and results from end-to-end simulations in windy air