A cardiac electromechanics model coupled with a lumped parameters model for closed-loop blood circulation. Part I: model derivation.