Text this: Seroprevalence of Mycobacterium leprae antibodies among school children in Indonesia in 2023