Mixing trees and crops increases land and water use efficiencies in a semi-arid area