New optical measurements of planetary diameters IV. Size of the north polar cap of Mars