Modeling spintronics devices in Verilog-A for use with industry-standard simulation tools