Outcome after Surgery of Lumbar Spinal Stenosis: A Randomized Comparison of Bilateral Laminotomy, Trumpet Laminectomy, and Conventional Laminectomy