Binary optimization for source localization in the inverse problem of ECG