when did the halfpenny go out of circulation in ireland