Vertical radar profiling: Combined analysis of traveltimes, amplitudes, and reflections | Synapse