拔牙后多长时间镶牙