Bidirectional branch and bound for controlled variable selection: Part I. Principles and minimum singular value criterion