with and as in python