can craftsman 4 inch angle grinder be used for sanding concrete