The SARTre Model for Radiative Transfer in Spherical Atmospheres and its Application to the Derivation of Cirrus Cloud Properties