San Francisco wants to use AI to save itself from bureaucracy