how can i create a python timestamp with millisecond granularity?,time.time() * 1000