An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring