Lens-type redirective reconfigurable intelligent surfaces for multi-user MIMO communications