Spiking Neural P Systems with an Exhaustive Use of Rules