El Chichon eruption cloud: Comparison of lidar and optical thickness measurements for October 1982