San Jose Mayor Matt Mahan is trying to lead by example, pushing a growing number of the nearly 7,000 government workers running Silicon Valley's biggest city to embrace artificial intelligence ...