Instant Pot Dr. Pepper Barbecue Nachos