on holding 2023 operating profit margin