python check string is all digits