Solvability analysis and numerical approximation of linearized cardiac electromechanics