Study of mechanical effects of lumbar disc arthroplasty on facet joints at the index level/adjacent levels by using a validated finite element analysis