First Chinese-English dictionary on educational technology compiled