Legal Necessity, Pareto Efficiency & Justified Killing in Autonomous Vehicle Collisions