ISFET-based biosensor modeling with SPICE