Online characterization of planetary surfaces: PlanetServer, an open-source analysis and visualization tool. (January 2018)