Quantification of thermal conductivity uncertainty for basin modeling