History of astronomical interferometry