Pressure Cooker Ribs with BBQ Sauce