Effective Hamiltonian for the pyrochlore antiferromagnet: Semiclassical derivation and degeneracy