Tom Cruise says ‘Top Gun’ sequel ‘would be fun’