The solution to the self-driving car trolley problem