Biggest practical problem with self-driving cars is that the first law contains an unresolvable internal contradiction