如何使用Lua的os.date函数进行日期格式化?