Numerical analysis of over-banding effects on screening-current-induced strain and turn-to-turn contact in no-insulation REBCO pancake coils | Synapse