convert java timestamp (in millisecond) to python timestamp (in seconds)