EPOS-RT: Software for Real-time GNSS Data Processing