Birkhoff Representation Theorem for Finite Distributive Lattices