Constrained Decoding for Cross-lingual Label Projection