Poroelastic flow across a permeable interface: a Hamilton's principle approach and its finite element implementation | Synapse