Depolarization ratio–effective lidar ratio relation: Theoretical basis for space lidar cloud phase discrimination | Synapse