Instant Pot Chinese Braised Beef Shank