Instant Pot Pinto Beans With Ham Bone