On the weight distribution of random binary linear codes