25t85 micro switch