Almgren–Federer Dimension Bound for Area-Minimizing Currents