Planimeters from the point of view of a mathematician