Vector Precoding for Wireless MIMO Systems and its Replica Analysis