Mathematical foundations and software of information systems for differentiation of educational institutions