Effects of phase scintillation on the GNSS positioning error during the September 2017 storm at Svalbard