The formal analogy between Tanaka–Mura and Weibull models for high-cycle fatigue