Instant Pot Garlicky Cuban Pork