The size of the singular set in mean curvature flow of mean-convex sets