Python functions for manipulating datetime objects with respect to their time zone