For smoother bus rides and faster pot-hole fixes, San Jose's city government is turning to AI, and finding success.