Cities from Miami to Jacksonville are using AI to speed up the building permit process.