Phase Semantics and Decidability of Elementary Affine Logic