python 如何获得文件类型