[python] How do you convert a time.struct_time object into a datetime object?