Gravar-mail: Successful total hip arthroplasty for autosomal dominant osteopetrosis complicated by hip osteoarthritis: A case report and review of the literature