Achieving global optimality for wirelessly-powered multi-antenna TWRC with lattice codes.