Text this: Recent Advances in the GPR Detection of Grouting Defects behind Shield Tunnel Segments