Interior regularity for area-minimizing currents