Existence and uniqueness of the solution for the bidomain model used in cardiac electrophysiology