Probabilistic Approach Using Rock Physics Characteristics and Petrophysical Modelling to Predict Carbonate Reservoir Properties: A Case Study From the Beda Field, Amin High, Sirt Basin, Libya | Synapse