In how many Superman movies did Gene Hackman appear as Lex Luthor?