Spice Model Implementation Of A Quantum Phase-Slip Junction