Spiking Neural P Systems with Membrane Potentials, Inhibitory Rules, and Anti-Spikes