Quantum position verification