GNSS Shadow Matching Using a 3D Model of London in Urban Canyons