Correlation Between the Constant mi of Hoek–Brown Criterion and Porosity of Intact Rock