How to use Python’s datetime type