What is based on extensive testing, it is determined by the manufacturer of a washing machine that the time y (in years) before a major repair is required is characterized by the probability density function?