Joris Ivens and the Role of Film in the Indonesian Independence Movement