an introduction to algebraic coding theory