The infrared spectrum of indium in silicon revisited