Secure Neighbor Position Discovery in Vehicular Networks