Excess pore pressures near a slurry tunnel boring machine Modelling and measurements