python convert list elements to int