Was salting the earth a real practice after military conquest in Ancient times? And if so how did they get salt in large enough quantities?