Rock-Type Definition and Pore Characterization of Tight Carbonate Rocks Based on Thin Sections and MICP and NMR Experiments