Zaslat SMS: Stochastic model considering individual satellite signal quality on GPS positioning