drop microseconds when encoding datetimes to json