Velocity estimation in GPR data based on diffraction analysis: Methodology and application to Antarctic firn | Synapse