Isfet-based biosensor modeling with spice.