Kroger and Harris Teeter to Merge