Lensed Type Ia supernovae as probes of cluster mass models