[python] How do I get a string format of the current date time, in python?