The creator of the animates series, based on a novel by Robert A. Heinlein, also directed which film in 1992?