A Mathematical Programming Approach for the Maximum Labeled Clique Problem