Polyhedral combinatorics