Chinese BBQ Pork Ribs in the Instant Pot