Layered Tabu Search Algorithm for Large-MIMO Detection and a Lower Bound on ML Performance