How long did it take the rogue one soundtrack to be made