Graph Colouring and the Probabilistic Method