Usefulness of three-dimensional full-scale modeling of surgery for a giant cell tumor of the cervical spine