Finite-length analysis of low-density parity-check codes on the binary erasure channel