Admissible Orders on Quotients of the Free Associative Algebra