Statistical Analysis of the Lifetime of Diamond-Impregnated Tools for Core Drilling of Concrete