Text this: Libraries in military schools of the XVIII – beginning the XX century and their role in educating Russian army officers