Prediction of Urban GNSS Availability and Signal Degradation Using Virtual Reality City Models