An army of robots in a library in north China's Tianjin can sort 1,500 books in an hour, which is 10 times more efficient than manual sorting.