First-principles based matrix Green's function approach to molecular electronic devices: general formalism