如何用Python的os.path.splitext函数提取文件扩展名?