Cherry MX Black vs. Red Switches: What’s the Best Linear Switch?