Optimal GUI Layout as a Problem of Linear Programming