A cost‐effectiveness analysis of robotic versus laparoscopic distal pancreatectomy. Issue 2 (11th February 2020)