Laparoscopic versus open appendicectomy in children: a UK District General Hospital experience.