Including public-health benefits of trees in urban-forestry decision making