On the principles, assumptions and methods of geodetic very long baseline interferometry