An efficient implementation of fixed failure-rate ratio test for GNSS ambiguity resolution