Symmetry Breaking in the Congest Model: Time- and Message-Efficient Algorithms for Ruling Sets.