The First Decade of Informatics in Dutch High Schools