Mathematical Modeling, Laboratory Experiments, and Sensitivity Analysis of Bioplug Technology at Darcy Scale