GLASS, a Tool for Quality-Controlled GNSS Data and Products Dissemination.