Ireland’s tax revenue has hit a record €48 billion