Analyzing An After-Sales Service Process Using Object-Centric Process Mining: A Case Study