Time-differenced carrier phases technique for precise GNSS velocity estimation