What type of mechanisms did the differential analyzer use?