NO2 lidar profile measurements for satellite interpretation and validation