Benefit of Helicopter Emergency Medical Services on trauma patient mortality in the Netherlands?