SPICE Macro-Modeling for the Simulation of Single Electron Circuits