On efficient Monte Carlo-based statistical static timing analysis of digital circuits