Groupoids: Unifying Internal and External Symmetry