Modelo Estocástico del GPS Cinemático en Tiempo Real (RTK) para aplicaciones en ingeniería de muy alta precisión