The Biot-Stokes coupling using total pressure: formulation, analysis and application to interfacial flow in the eye.