Efficient high-energy Raman laser for troposphere ozone lidar | IEEE Conference Publication | IEEE Xplore