Measurements of the thickness of a paint film on a metal surface by a double-modulation terahertz ellipsometer