Stanford researcher writes "we have a solution to the Automated Vehicle’s trolley problem," without a hint of irony