Which muscle is primarily responsible for lateral flexion of the neck and is commonly addressed in massage therapy for tension headaches?