Guessing a random int using Python