Alexandrov--Fenchel Inequality for Mixed Discriminants