A semi-analytic evaluation of the effect of second-order ionosphere term on GPS positioning