A Generalization of Birkhoff's Theorem for Distributive Lattices, with Applications to Robust Stable Matchings.