what year did casablanca come out in theatres?