When and how to operate on spondylodiscitis: a report of 13 patients