GNSS Integrity and Protection Level Computation for Vehicular Applications