Theoretical Computation of Mineral Assemblages in Pyrolite and Lherzolite