Long-awaited use of lethal force by robots approved in San Francisco