On the Complexity of Finite-Sum Smooth Optimization under the Polyak-{\L}ojasiewicz Condition