High spectral resolution lidar to measure optical scattering properties of atmospheric aerosols 1: Theory and instrumentation | Synapse