Ligation of Arterial Supply in the Treatment of Spinal Cord Arteriovenous Malformations