Gröbner Bases and Applications: Introduction to Noncommutative Gröbner Bases Theory