Luxembourg comes 9th in the world ICT Development Index