Machine Learning-Based Prediction of Formation, Facies, Porosity, and Permeability in a Carbonate Reservoir of the