PPP–RTK theory for varying transmitter frequencies with satellite and terrestrial positioning applications