Professional development for teachers and the Internet