Restaurant-Style Shredded Pork Enchiladas