The data model used by Smart City Services in Thermi pilot