Text this: High precision positioning algorithm based on carrier phase and time of arrival