Join-Irreducible Elements of a Finite Ideal Lattice