Tree pruning as a means of controlling water use in an agroforestry system in Kenya