The European machine tool industry and the circular economy