Vector Precoding for Wireless MIMO Systems: A Replica Analysis