Almgren's regularity theorem