Text this: Theoretical basis for quantitative evaluation of the expansion of the leading hole of a crushed stone bored pile in a nonlinear setting