Text this: New twofold saddle-point formulations for Biot poroelasticity with porosity-dependent permeability