Rh12As7, a host structure for rare earth elements: Crystal structures of Rh12As7 and Ho2Rh12As7