Quantitative proteomics and bioinformatic analysis provide new insight into the dynamic response of porcine intestine to Salmonella Typhimurium