Purely game-theoretic random sequences: I. Strong law of large numbers and law of the iterated logarithm