Cooking pork ribs in a pressure cooker