Judge throws out Ohio lawsuit over software on vote tabulation machines