Measurement of the focal length of a converging lens