What is C4-6 laminectomy and bilateral foraminotomy?