handle np datetime64 in json encoder