What you need to know when choosing push buttons for physical devices