Pipe wall thickness measurement