The peasants' revolt of Banten in 1888 its conditions, course and sequel, a case study of social movements in Indonesia