Gerritsen Beach Library reopens after Hurricane Sandy