Finite element analysis of coupled phase-field and thermoelasticity equations at large strains for martensitic phase transformations based on implicit and explicit time discretization schemes