education personal computer market size