see anterior thoracic corpectomy