Size of hole for hilti anchors