Complexity analysis for ML-based sphere decoder achieving a vanishing performance-gap to brute force ML decoding