After the release of The Empire Strikes Back in 1980, what ideas did George Lucas and his team have for the next Star Wars movie that were not used in Return of the Jedi?