Bourgain-Katz-Tao Finite-Field Sum-Product Theorem