Smartphones and algorithms could transform the maintenance of cities