Mixed-integer linear programming for multibeam satellite systems design: Application to the beam layout optimization | IEEE Conference Publication | IEEE Xplore