Hard Rock Atlantic City has hired industry veteran Michael Woodside