Thermal management and transistor modeling for three-dimensional integrated circuits