Crystallographic Structure of Mesotaxial IrSi 3 in Si