Formal databases for surface analysis: The current situation and future trends