python3 read input from stdin