What is a push button switch?, push button - mi-pro.co.uk