Prediction of Asphaltene Precipitation During Solvent/CO2 Injection Conditions: A Comparative Study on Thermodynamic Micellization Model With a Different Characterization Approach and Solid Model