Teachers now also do a lot of professional development online, often via global technology companies or “EdTechs”