Efficient Computation of Discharge Current Upper Bounds for Clustered Sleep Transistor Sizing