Measurement of small vibrations using electronic speckle pattern interferometry: Theory