A vending machine is standing in for Hurricane Harvey-damaged libraries in Texas