GPS-RTK Raspberry Pi Hat offers high precision positioning in real-time