Analysis of GNSS replay-attack detectors exploiting unpredictable symbols