Comparison of measurements of water vapor by a microwave radiometer and Raman lidar