Text this: A Full Axiomatic Development of High School Geometry