Ohio announces winner of first vaccination lottery