Computing optimum design parameters of a progressive type I interval censored life test from a cost model