Functional Reconstitution of Reissner Mixed Variational Theorem for Effective Finite Element Implementations