Tight Integration of GNSS Measurements and GNSS-based Collaborative Virtual Ranging