Gravar-mail: Intelligent Prediction for Rock Porosity While Drilling Complex Lithology in Real Time