python sys stdin readline vs input