Solving cardinality constrained mean-variance portfolio problems via MILP