The peopling of Tompkins County : a social history