A micromachined strain sensor with differential capacitive readout