quantum position verification