Distributed Multi-User Beamforming in the Presence of CFO: An Analytical and Experimental Study