Quantitative visual psychophysics during the period of European enlightenment. The studies of the astronomer and mathematician Tobias Mayer (1723?1762) on visual acuity and colour perception