РГАНТД, Российский государственный архив научно-технической документации