City Detect, which uses AI to help cities stay safe and clean, raises $13M Series A