Funeral at St Patrick’s Cathedral on Tuesday to follow public wake on Monday at Royal Hospital Kilmainham