A mixed integer linear programming framework for improving cortical vision prosthesis designs. (February 2023)