A hotspot size estimate technique by using Abrikosov vortices in Josephson tunnel junctions