GitHub to expand free use of its educational products