Direct measurement of the magnification produced by galaxy clusters as gravitational lenses