Improving estimates of buried pipe diameter and infilling material from ground-penetrating radar profiles with full-waveform inversion