The future of single-frequency integer ambiguity resolution