Optimizing working space in porcine laparoscopy: CT measurement of the effects of intra-abdominal pressure