如何详细解释使用python time.strptime进行时间格式化的实例?