Active-source seismic characterization of subglacial lakes: numerical modeling, field validation, and implications for Antarctic exploration | Synapse