Surface and interface depletion corrections to free carrier-density determinations by hall measurements