Modelling, analysis, and (some) numerics for cardiac electromechanics