Laser-based mid-infrared sources and applications. (2020)