The probabilistic method in combinatorics