A comparison of two different formulations for arc routing problems on mixed graphs