Update Joda-Time to 2.12.5

[yhwang]

Description

Update Joda-Time from 2.12.2 to 2.12.5. The tzdata version is upgraded from 2022g to 2023c and the changes are:

• Lebanon delays the start of DST in 2023
• Egypt now uses DST again, from April through October
• In 2023, Morocco springs forward April 23, not April 30
• Palestine delays the start of DST in 2023
• Much of Greenland still uses DST from 2024 on
• America/Yellowknife now links to America/Edmonton

There is no new time zone, only new DST rules.

Motivation and Context

fix: #21300

Impact

The update only introduces new DST rules but no new time zone.

Test Plan

Leverage the existing timezone test cases to make sure no regression

Contributor checklist

• Please make sure your submission complies with our development, formatting, commit message, and attribution guidelines.
• PR description addresses the issue accurately and concisely. If the change is non-trivial, a GitHub Issue is referenced.
• Documented new properties (with its default value), SQL syntax, functions, or other functionality.
• If release notes are required, they follow the release notes guidelines.
• Adequate tests were added if applicable.
• CI passed.

Release Notes

Please follow release notes guidelines and fill in the release notes below.

== RELEASE NOTES ==

General Changes
* Update Joda-Time to 2.12.5 to use 2023c tzdata.
  Note: a corresponding update to the Java runtime should also be made to ensure consistent timezone data.
  For example, Oracle JDK 8u381, tzdata-java-2023c rpm for OpenJDK, or use Timezone Updater Tool to apply
  2023c tzdata to existing JVM.

[yhwang]

No new test case is added and I manually verified Africa/Cairo's new DST rule:
Cairo DST: April 28, 2023 to October 27, 2023

With DST:

presto:sf1> SELECT DATE_DIFF( 'hour', CAST('2023-9-30 12:00:00.000 Africa/Cairo' as timestamp with time zone), CAST('2023-9-30 12:00:00.000 UTC' as timestamp with time zone)) as "hours";
 hours
-------
     3
(1 row)

No DST:

presto:sf1> SELECT DATE_DIFF( 'hour', CAST('2023-10-30 12:00:00.000 Africa/Cairo' as timestamp with time zone), CAST('2023-10-30 12:00:00.000 UTC' as timestamp with time zone)) as "hours";
 hours
-------
     2
(1 row)