Molecular Characterization of Constipation Disease as Novel Phenotypes in CRISPR-Cas9-Generated Leptin Knockout Mice with Obesity