Barbara Bush Branch Library reopens after Hurricane Harvey