Python Extract Version From String To Int