Enabling SPICE-type modeling of the thermal properties of 3D-stacked ICs