On the Influence of Different Network Correction Formats on Network RTK Performance