Text this: Educational credit as an independent type of crediting in the sphere of higher professional education