THE REGULARITY THEORY OF AREA-MINIMIZING INTEGRAL CURRENTS