The importance of city trees for reducing net rainfall: comparing measurements and simulations