: Calculates rigorous upper and lower bounds for bearing capacity and stability.