Design of explicit models for predicting the efficiency of heavy oil-sand detachment process by floatation technology