Pressure-Cooker Spiced Short Ribs