Twofold saddle-point formulation of Biot poroelasticity with stress-dependent diffusion