Computational models for the pre-operative planning of spinal surgeries