4pin push switch