Hong Kong-Style Curry Beef Brisket (Instant Pot)