Carrier-phase based real-time static and kinematic precise point positioning Using GPS and GALILEO