The halfpenny was first issued on what day when the United Kingdom and the Republic of Ireland decimalised their currencies?