Product-of-exponential formulas for precision enhancement of five-axis machine tools via geometric error modeling and compensation