DeVos could be an ed tech champion as education secretary