An Introduction to Convex Polytopes