pork tenderloin and sauerkraut in pressure cooker