An introduction to Android menus