Berekening van spanningen en deformaties in verzadigde grond: Programma WAZAN, theorie