Microwave interferometer for ambient vibration measurement on civil engineering structures: 1. Principles of the radar technique and laboratory tests