An Elementary Exposition of Grassmann's Ausdehnungslehre: Or, Theory of Extension