Modeling Hardware Trojans in 3D ICs