Diamond cutting of concrete