python 批量将列表元素转换为数字