Designing time-of-use tariffs in electricity retail markets using a bi-level model – Estimating bounds when the lower level problem cannot be exactly solved. (June 2020)