Optimizing navigation menus for mobile devices