Perelman's Finite-Time $\kappa$-Noncollapsing Theorem