Time Inference with MUSE in Extragalactic Rings (TIMER): properties of the survey and high-level data products