International workshop on opportunities and challenges in mid-infrared laser-based gas sensing