Posterior decompression with transforaminal interbody fusion for thoracic myelopathy due to ossification of the posterior longitudinal ligament and the ligamentum flavum at the same level