Technology, teaching and higher education : what input from empirical research