Text this: Soil stiffness nonlinearity in one-dimensional pile-driving simulations and formulas