Crystal structure of iridium trisilicide, IrSi3