python subprocess stdin from file