Machine Learning-Based Propped Fracture Conductivity Correlations of Several Shale Formations