An efficient formal system for three-dimensional kinematic transformations using operator overloading