时间戳和格式化时间的转化