Workers at five Atlantic City casinos vote overwhelmingly to strike