Seismic measurements reveal a saturated porous layer beneath an active Antarctic ice stream