What is CET time and how is it used?