The Maximum Anchored k-core Problem: Mixed Integer Programming Formulations