Does EdTech Substitute for Traditional Learning? Experimental Estimates of the Educational Production Function