Birkhoff Representation Characterization for Finite Distributive Lattices