Method and system for estimating the power consumption of digital circuits and related computer program product