PHP function - intltz_from_date_time_zone