Calculation of cooling of3He by adiabatic demagnetization of a paramagnetic salt