A mathematical formalization of dimensional analysis (2012)