Optimization objectives and models of variation for statistical gate sizing