The posteriorly located muscles that primarily serve to extend, laterally bend, and rotate the head are called the_________