Comparison of a radio interferometric differential baseline measurement with conventional geodesy