On estimation procedures of stress-strength reliability for Weibull distribution with application