C37.238a-2023 - IEEE Standard Profile for Use of IEEE 1588™ Precision Time Protocol in Power System Applications