Finite size scaling for a first order transition where a continuous symmetry is broken : The spin-flop transition in the 3 D XXZ Heisenberg antiferromagnet