On the non-3-colourability of random graphs