World timezone definitions, modern and historical