牙洞补了还会疼吗