Precision analysis of troposphere sensing using GPS single-frequency signals