Computer algebra methods for feedback linearization using an exterior calculus framework